On the Hersch-Payne-Schiffer inequalities for Steklov eigenvalues

We prove that the Hersch-Payne-Schiffer isoperimetric inequality for the nth nonzero Steklov eigenvalue of a bounded simply connected planar domain is sharp for all n ⩾ 1. The equality is attained in the limit by a sequence of simply connected domains degenerating into a disjoint union of n identical disks. Similar results are obtained for the product of two consecutive Steklov eigenvalues. We also give a new proof of the Hersch-Payne-Schiffer inequality for n = 2 and show that it is strict in this cas

How large can the first eigenvalue be on a surface of genus two?

Sharp upper bounds for the first eigenvalue of the Laplacian on a surface of a fixed area are known only in genera zero and one. We investigate the genus two case and conjecture that the first eigenvalue is maximized on a singular surface which is realized as a double branched covering over a sphere. The six ramification points are chosen in such a way that this surface has a complex structure of the Bolza surface. We prove that our conjecture follows from a lower bound on the first eigenvalue of a certain mixed Dirichlet-Neumann boundary value problem on a half-disk. The latter can be studied numerically, and we present conclusive evidence supporting the conjecture.Comment: 20 pages; 4 figure

Eigenvalue inequalities on Riemannian manifolds with a lower Ricci curvature bound

We revisit classical eigenvalue inequalities due to Buser, Cheng, and Gromov on closed Riemannian manifolds, and prove the versions of these results for the Dirichlet and Neumann boundary value problems. Eigenvalue multiplicity bounds and related open problems are also discussed

Continuous Wavelets on Compact Manifolds

Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $\Delta_{\bf M}$ be the Laplace-Beltrami operator on ${\bf M}$. Say 0 \neq f \in \mathcal{S}(\RR^+), and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of $f(t^2 \Delta_{\bf M})$. We show that $K_t$ is well-localized near the diagonal, in the sense that it satisfies estimates akin to those satisfied by the kernel of the convolution operator $f(t^2\Delta)$ on \RR^n. We define continuous ${\cal S}$-wavelets on ${\bf M}$, in such a manner that $K_t(x,y)$ satisfies this definition, because of its localization near the diagonal. Continuous ${\cal S}$-wavelets on ${\bf M}$ are analogous to continuous wavelets on \RR^n in \mathcal{S}(\RR^n). In particular, we are able to characterize the H$\ddot{o}$lder continuous functions on ${\bf M}$ by the size of their continuous ${\mathcal{S}}-$wavelet transforms, for H$\ddot{o}$lder exponents strictly between 0 and 1. If $\bf M$ is the torus \TT^2 or the sphere $S^2$, and $f(s)=se^{-s}$ (the ``Mexican hat'' situation), we obtain two explicit approximate formulas for $K_t$, one to be used when $t$ is large, and one to be used when $t$ is small

The Steklov spectrum of cuboids

The paper is concerned with the Steklov eigenvalue problem on cuboids of arbitrary dimension. We prove a two-term asymptotic formula for the counting function of Steklov eigenvalues on cuboids in dimension d ≥ 3. Apart from the standard Weyl term, we calculate explicitly the second term in the asymptotics, capturing the contribution of the (d - 2) - dimensional facets of a cuboid. Our approach is based on lattice counting techniques. While this strategy is similar to the one used for the Dirichlet Laplacian, the Steklov case carries additional complications. In particular, it is not clear how to establish directly the completeness of the system of Steklov eigenfunctions admitting separation of variables. We prove this result using a family of auxiliary Robin boundary value problems. Moreover, the correspondence between the Steklov eigenvalues and lattice points is not exact, and hence more delicate analysis is required to obtain spectral asymptotics. Some other related results are presented, such as an isoperimetric inequality for the first Steklov eigenvalue, a concentration property of high frequency Steklov eigenfunctions and applications to spectral determination of cuboids

Homology class of a Lagrangian Klein bottle

It is shown that an embedded Lagrangian Klein bottle represents a non-trivial mod 2 homology class in a compact symplectic four-manifold $(X,\omega)$ with $c_1(X)\cdot[\omega]>0$. (In versions 1 and 2, the last assumption was missing. A counterexample to this general claim and the first proof of the corrected result have been found by Vsevolod Shevchishin.) As a corollary one obtains that the Klein bottle does not admit a Lagrangian embedding into the standard symplectic four-space.Comment: Version 3 - completely rewritten to correct a mistake; Version 4 - minor edits, added references; AMSLaTeX, 6 page

On the Use of Minimum Volume Ellipsoids and Symplectic Capacities for Studying Classical Uncertainties for Joint Position-Momentum Measurements

We study the minimum volume ellipsoid estimator associates to a cloud of points in phase space. Using as a natural measure of uncertainty the symplectic capacity of the covariance ellipsoid we find that classical uncertainties obey relations similar to those found in non-standard quantum mechanics

On the connection between the number of nodal domains on quantum graphs and the stability of graph partitions

Courant theorem provides an upper bound for the number of nodal domains of eigenfunctions of a wide class of Laplacian-type operators. In particular, it holds for generic eigenfunctions of quantum graph. The theorem stipulates that, after ordering the eigenvalues as a non decreasing sequence, the number of nodal domains $\nu_n$ of the $n$-th eigenfunction satisfies $n\ge \nu_n$. Here, we provide a new interpretation for the Courant nodal deficiency $d_n = n-\nu_n$ in the case of quantum graphs. It equals the Morse index --- at a critical point --- of an energy functional on a suitably defined space of graph partitions. Thus, the nodal deficiency assumes a previously unknown and profound meaning --- it is the number of unstable directions in the vicinity of the critical point corresponding to the $n$-th eigenfunction. To demonstrate this connection, the space of graph partitions and the energy functional are defined and the corresponding critical partitions are studied in detail.Comment: 22 pages, 6 figure

Imprints of the Quantum World in Classical Mechanics

The imprints left by quantum mechanics in classical (Hamiltonian) mechanics are much more numerous than is usually believed. We show Using no physical hypotheses) that the Schroedinger equation for a nonrelativistic system of spinless particles is a classical equation which is equivalent to Hamilton's equations.Comment: Paper submitted to Foundations of Physic